退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在限制图类上扩展monadic二阶逻辑的表达能力
Robert Ganian;
机译:图XIV的单子二阶逻辑:均匀稀疏图和边集量化
机译:图十二的单子二阶逻辑:平面图和平面图
机译:图十一的一元二阶逻辑:连通图的层次分解
机译:扩展一元二阶逻辑对受限图类的表达能力
机译:通过整合地理,音乐和历史,扩大8年级社会研究课的地理理解:一项准实验研究。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:扩展monadic二阶逻辑的表达能力 限制图类
机译:使用二阶二阶逻辑的自动程序合成
机译:使用MONADIC二阶逻辑自动合成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。